Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
381	Verifying Temporal Properties without Temporal Logic BOWEN ALPERN IBM T. J. Watson Research Center and FRED B. SCHNEIDER Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 15:52:48 Mathematical logic Büchi automaton First-order logic Finite-state machine FO Function Nested word Muller automaton Automata theory Theoretical computer science Mathematics
382	Deterministic Part-of-Speech Tagging with Finite-State Transducers Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 08:57:24 Theoretical computer science Natural language processing Computational linguistics Brill tagger Part-of-speech tagging Finite state transducer Finite-state machine Trigram tagger Brown Corpus Linguistics Automata theory Models of computation
383	Fast Approximate Search in Large Dictionaries Stoyan Mihov∗ Klaus U. Schulz† Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-20 11:46:47 Models of computation Computer science Mathematics Combinatorics on words Dynamic programming Levenshtein distance Levenshtein transducer Finite state transducer Regular language Automata theory Formal languages Theoretical computer science
384	emPHPower Advocacy Brainstorming Lukas Smith ([removed]) IPC 08 Spring Edition in Karlsruhe emPHPower Add to Reading List Source URL: pooteeweet.org Language: English - Date: 2008-06-01 14:09:05 DEVS PHP Core X Window System SP-DEVS Finite & Deterministic Discrete Event System Specification Automata theory Software Computing
385	The Boost Statechart Library - Rationale Page 1 of 10 The Boost Statechart Library Add to Reading List Source URL: www.boost.org Language: English - Date: 2007-11-25 13:38:02 Computer programming UML diagrams Automata theory Digital electronics Programming paradigms UML state machine State diagram Finite-state machine Exception handling Computing Software engineering Models of computation
386	Expressiveness of streaming string transducers Rajeev Alur1 and Pavol Černý[removed]University of Pennsylvania Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-12-13 12:13:47 Theoretical computer science Software engineering Models of computation Data types Primitive types Finite state transducer Finite-state machine Regular language String Formal languages Automata theory Mathematics
387	The Theory of Trackability with Applications to Sensor Networks VALENTINO CRESPI California State University at Los Angeles GEORGE CYBENKO Dartmouth College Add to Reading List Source URL: www.dartmouth.edu Language: English - Date: 2011-02-03 16:20:33 Matrix Wireless sensor network Büchi automaton Finite-state machine Computing Technology Mathematics Automata theory Models of computation Deterministic finite automaton
388	Error-tolerant Finite-state Recognition with Applications to Morphological Analysis and Spelling Correction Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-20 11:43:28 Theoretical computer science Grammar Finite state transducer Formal grammar Finite-state machine Morphology Computer science Linguistics Formal languages Automata theory Models of computation
389	Realizability is controllability Niels Lohmann and Karsten Wolf Universit¨ at Rostock, Institut f¨ ur Informatik,  Rostock, Germany {niels.lohmann, karsten.wolf}@uni-rostock.de Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2009-02-24 07:57:14 Deterministic finite automaton Finite-state machine Automata theory Models of computation Realizability
390	Finite-State Non-Concatenative Morphotactics Kenneth R. Beesley and Lauri Karttunen [removed], [removed] arXiv:cs.CL[removed]v1 30 Jun 2000 Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-02-15 07:09:25 Computing Combinatorics Models of computation Grammar Combinatorics on words Finite state transducer String Regular language Finite-state machine Formal languages Automata theory Linguistics

UPDATE